Analysing and Transforming Graph Structures: The Graph Transformation Framework

نویسندگان

چکیده

Interconnected data or, in particular, graph structures are a valuable source of information. Gaining insights and knowledge from is applied throughout wide range application areas, for which efficient tools desired. In this work we present an open Java transformation framework. The framework provides simple fluent Application Programming Interface (API) to transform provided structure desired target format and, turn, allow further analysis. First, provide overview on the architecture its core components. Second, illustrative example shows how use framework’s API transforming verifying structures. Next that, instantiation context analyzing third-party dependencies amongst libraries Android platform. scenario typical efficiently process complex open-source actively developed, information obtain it official GitHub page.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Graph transformation and pointer structures

This thesis is concerned with the use of graph-transformation rules to specify and manipulate pointer structures. In it, we show that graph transformation can form the basis of a practical and well-formalised approach to specifying pointer properties. We also show that graph transformation rules can be used as an efficient mechanism for checking the properties of graphs. We make context-sensiti...

متن کامل

Analysing Graph Transformation Rules through OCL

In this paper we present an approach to the analysis of graph transformation rules based on an intermediate OCL representation. We translate different semantics of rules into OCL, together with the properties of interest (like rule applicability, conflict or independence). The intermediate representation serves three purposes: (i) allows the seamless integration of graph transformation rules wi...

متن کامل

Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests

This paper describes how the Fujaba CASE tool supports a semi-automatic transformation of usecase scenarios specified by so called story boards into automatic test specifications and test implementations. A story board is a sequence of graph snapshots showing the evolution of a graph based object structure during a typical example execution of an usecase. From such an example execution we autom...

متن کامل

The VIATRA2 Transformation Framework Model Transformation by Graph Transformation

Viatra2 (VIsual Automated model TRAnsformations) is a general-purpose model transformation engineering framework that aims at supporting the entire life-cycle, i.e. the specification, design, execution, validation and maintenance of transformations within and between various modeling languages and domains in the MDA. This paper reports on the current status of the tool and sketches some future ...

متن کامل

Transforming Software Requirements by Meta-modelling and Graph Transformation

This article describes transformations of software requirements. We start from requirements (use cases) in textual form. These are subsequently encoded precisely in UML 2.0 Sequence Diagrams (SD) by a modelling expert. The SD model is automatically transformed back into textual form to allow the requirements producer to check correct interpretation. Once the latter is satisfied, the SD model is...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Software

سال: 2023

ISSN: ['2674-113X']

DOI: https://doi.org/10.3390/software2020010